<html><body bgcolor=white onload='parent.fileFinishedLoading();'>
<link rel=stylesheet type="text/css" href="styles.css"><pre>
struct <img name="if0" src=pixel.gif width=10 height = 10> <a name="f0"></a>printf_arguments {
   int i ;
   double d ;
   char <img name="in3" src=pixel.gif width=10 height = 10> <a name="n3" class="other" href="javascript: sn(3)">*<sub>3</sub></a>s <img name="in4" src=pixel.gif width=10 height = 10> <a name="n4" class="safe" href="javascript: sn(4)">&<sub>4</sub></a>;
   long long ll ;
};
<img name="if1" src=pixel.gif width=10 height = 10> <a name="f1"></a>typedef unsigned int size_t;
<img name="if2" src=pixel.gif width=10 height = 10> <a name="f2"></a>typedef long long __quad_t;
<img name="if3" src=pixel.gif width=10 height = 10> <a name="f3"></a>typedef long __off_t;
<img name="if4" src=pixel.gif width=10 height = 10> <a name="f4"></a>typedef <a href="javascript: sf(0, 'if2')">__quad_t</a>  __off64_t;
struct _IO_FILE;
<img name="if5" src=pixel.gif width=10 height = 10> <a name="f5"></a>typedef <a href="javascript: sff(0)">struct _IO_FILE </a> FILE;
struct __ccured_va_list;
struct _IO_FILE;
<img name="if6" src=pixel.gif width=10 height = 10> <a name="f6"></a>typedef void _IO_lock_t;
struct <img name="if7" src=pixel.gif width=10 height = 10> <a name="f7"></a>_IO_marker {
   <a href="javascript: sff(1)">struct _IO_marker </a> <img name="in6" src=pixel.gif width=10 height = 10> <a name="n6" class="safe" href="javascript: sn(6)">*<sub>6</sub></a>_next <img name="in7" src=pixel.gif width=10 height = 10> <a name="n7" class="safe" href="javascript: sn(7)">&<sub>7</sub></a>;
   <a href="javascript: sff(0)">struct _IO_FILE </a> <img name="in8" src=pixel.gif width=10 height = 10> <a name="n8" class="safe" href="javascript: sn(8)">*<sub>8</sub></a>_sbuf <img name="in9" src=pixel.gif width=10 height = 10> <a name="n9" class="safe" href="javascript: sn(9)">&<sub>9</sub></a>;
   int _pos ;
};
struct <img name="if8" src=pixel.gif width=10 height = 10> <a name="f8"></a>_IO_FILE {
   int _flags ;
   char  * _IO_read_ptr ;
   char  * _IO_read_end ;
   char  * _IO_read_base ;
   char  * _IO_write_base ;
   char  * _IO_write_ptr ;
   char  * _IO_write_end ;
   char  * _IO_buf_base ;
   char  * _IO_buf_end ;
   char  * _IO_save_base ;
   char  * _IO_backup_base ;
   char  * _IO_save_end ;
   <a href="javascript: sf(0, 'if7')">struct _IO_marker </a> <img name="in34" src=pixel.gif width=10 height = 10> <a name="n34" class="safe" href="javascript: sn(34)">*<sub>34</sub></a>_markers <img name="in35" src=pixel.gif width=10 height = 10> <a name="n35" class="safe" href="javascript: sn(35)">&<sub>35</sub></a>;
   <a href="javascript: sff(0)">struct _IO_FILE </a> <img name="in36" src=pixel.gif width=10 height = 10> <a name="n36" class="safe" href="javascript: sn(36)">*<sub>36</sub></a>_chain <img name="in37" src=pixel.gif width=10 height = 10> <a name="n37" class="safe" href="javascript: sn(37)">&<sub>37</sub></a>;
   int _fileno ;
   int _flags2 ;
   <a href="javascript: sf(0, 'if3')">__off_t</a>  _old_offset ;
   unsigned short _cur_column ;
   signed char _vtable_offset ;
   char _shortbuf[1] ;
   <a href="javascript: sf(0, 'if6')">_IO_lock_t</a>   * _lock ;
   <a href="javascript: sf(0, 'if4')">__off64_t</a>  _offset ;
   void <img name="in48" src=pixel.gif width=10 height = 10> <a name="n48" class="safe" href="javascript: sn(48)">*<sub>48</sub></a>__pad1 <img name="in49" src=pixel.gif width=10 height = 10> <a name="n49" class="safe" href="javascript: sn(49)">&<sub>49</sub></a>;
   void <img name="in50" src=pixel.gif width=10 height = 10> <a name="n50" class="safe" href="javascript: sn(50)">*<sub>50</sub></a>__pad2 <img name="in51" src=pixel.gif width=10 height = 10> <a name="n51" class="safe" href="javascript: sn(51)">&<sub>51</sub></a>;
   int _mode ;
   char _unused2[(int )(15U * sizeof(int ) - 2U * sizeof(void  * ))] ;
};
<img name="if9" src=pixel.gif width=10 height = 10> <a name="f9"></a>typedef <a href="javascript: sf(0, 'if8')">struct _IO_FILE </a> _IO_FILE;
struct <img name="if10" src=pixel.gif width=10 height = 10> <a name="f10"></a>scanf_format {
   int  * p_int ;
   double  * p_double ;
   long  * p_long ;
   unsigned int  * p_uint ;
   unsigned long  * p_ulong ;
   char  * p_char ;
   short  * p_short ;
   long long  * p_longlong ;
   unsigned long long  * p_ulonglong ;
};
struct <img name="if11" src=pixel.gif width=10 height = 10> <a name="f11"></a>__ccured_va_list {
   int next ;
};
<img name="if12" src=pixel.gif width=10 height = 10> <a name="f12"></a>unsigned long GCC_STDARG_START(void) ;
<img name="if13" src=pixel.gif width=10 height = 10> <a name="f13"></a>extern void __ccuredInit(void) ;
<img name="if14" src=pixel.gif width=10 height = 10> <a name="f14"></a>extern void ccured_fail(int msgId  , char const    * file  , int line  ,
                        char const    * function  ) ;
<img name="if15" src=pixel.gif width=10 height = 10> <a name="f15"></a>extern unsigned int __ccured_mult_u32(unsigned int x  , unsigned int y  ) ;
<img name="if16" src=pixel.gif width=10 height = 10> <a name="f16"></a>extern void abort_deepcopy(char  * errmsg  ) ;
struct _IO_FILE_COMPAT;
<img name="if17" src=pixel.gif width=10 height = 10> <a name="f17"></a>typedef <a href="javascript: sff(2)">struct _IO_FILE_COMPAT </a> _IO_FILE_COMPAT;
struct _IO_marker_COMPAT;
struct <img name="if18" src=pixel.gif width=10 height = 10> <a name="f18"></a>_IO_FILE_COMPAT {
   int _flags ;
   char  * _IO_read_ptr ;
   char  * _IO_read_end ;
   char  * _IO_read_base ;
   char  * _IO_write_base ;
   char  * _IO_write_ptr ;
   char  * _IO_write_end ;
   char  * _IO_buf_base ;
   char  * _IO_buf_end ;
   char  * _IO_save_base ;
   char  * _IO_backup_base ;
   char  * _IO_save_end ;
   <a href="javascript: sff(3)">struct _IO_marker_COMPAT </a> <img name="in105" src=pixel.gif width=10 height = 10> <a name="n105" class="safe" href="javascript: sn(105)">*<sub>105</sub></a>_markers <img name="in106" src=pixel.gif width=10 height = 10> <a name="n106" class="safe" href="javascript: sn(106)">&<sub>106</sub></a>;
   <a href="javascript: sff(2)">struct _IO_FILE_COMPAT </a> <img name="in107" src=pixel.gif width=10 height = 10> <a name="n107" class="safe" href="javascript: sn(107)">*<sub>107</sub></a>_chain <img name="in108" src=pixel.gif width=10 height = 10> <a name="n108" class="safe" href="javascript: sn(108)">&<sub>108</sub></a>;
   int _fileno ;
   int _flags2 ;
   <a href="javascript: sf(0, 'if3')">__off_t</a>  _old_offset ;
   unsigned short _cur_column ;
   signed char _vtable_offset ;
   char _shortbuf[1] ;
   <a href="javascript: sf(0, 'if6')">_IO_lock_t</a>   * _lock ;
   <a href="javascript: sf(0, 'if4')">__off64_t</a>  _offset ;
   void <img name="in119" src=pixel.gif width=10 height = 10> <a name="n119" class="safe" href="javascript: sn(119)">*<sub>119</sub></a>__pad1 <img name="in120" src=pixel.gif width=10 height = 10> <a name="n120" class="safe" href="javascript: sn(120)">&<sub>120</sub></a>;
   void <img name="in121" src=pixel.gif width=10 height = 10> <a name="n121" class="safe" href="javascript: sn(121)">*<sub>121</sub></a>__pad2 <img name="in122" src=pixel.gif width=10 height = 10> <a name="n122" class="safe" href="javascript: sn(122)">&<sub>122</sub></a>;
   int _mode ;
   char _unused2[(int )(15U * sizeof(int ) - 2U * sizeof(void  * ))] ;
};
<img name="if19" src=pixel.gif width=10 height = 10> <a name="f19"></a>extern int _IO_getc(<a href="javascript: sf(0, 'if17')">_IO_FILE_COMPAT</a>  <img name="in126" src=pixel.gif width=10 height = 10> <a name="n126" class="safe" href="javascript: sn(126)">*<sub>126</sub></a>__fp  ) <img name="in127" src=pixel.gif width=10 height = 10> <a name="n127" class="safe" href="javascript: sn(127)">&<sub>127</sub></a>;
struct <img name="if20" src=pixel.gif width=10 height = 10> <a name="f20"></a>_IO_marker_COMPAT {
   <a href="javascript: sff(3)">struct _IO_marker_COMPAT </a> <img name="in128" src=pixel.gif width=10 height = 10> <a name="n128" class="safe" href="javascript: sn(128)">*<sub>128</sub></a>_next <img name="in129" src=pixel.gif width=10 height = 10> <a name="n129" class="safe" href="javascript: sn(129)">&<sub>129</sub></a>;
   <a href="javascript: sf(0, 'if18')">struct _IO_FILE_COMPAT </a> <img name="in130" src=pixel.gif width=10 height = 10> <a name="n130" class="safe" href="javascript: sn(130)">*<sub>130</sub></a>_sbuf <img name="in131" src=pixel.gif width=10 height = 10> <a name="n131" class="safe" href="javascript: sn(131)">&<sub>131</sub></a>;
   int _pos ;
};
<img name="if21" src=pixel.gif width=10 height = 10> <a name="f21"></a>extern int _IO_putc(int __c  ,
                    <a href="javascript: sf(0, 'if17')">_IO_FILE_COMPAT</a>  <img name="in133" src=pixel.gif width=10 height = 10> <a name="n133" class="safe" href="javascript: sn(133)">*<sub>133</sub></a>__fp  ) <img name="in134" src=pixel.gif width=10 height = 10> <a name="n134" class="safe" href="javascript: sn(134)">&<sub>134</sub></a>;
<img name="if22" src=pixel.gif width=10 height = 10> <a name="f22"></a>typedef <a href="javascript: sf(0, 'if18')">struct _IO_FILE_COMPAT </a> FILE_COMPAT;
<img name="if23" src=pixel.gif width=10 height = 10> <a name="f23"></a>extern int fclose(<a href="javascript: sf(0, 'if22')">FILE_COMPAT</a>  <img name="in135" src=pixel.gif width=10 height = 10> <a name="n135" class="safe" href="javascript: sn(135)">*<sub>135</sub></a>__stream  ) <img name="in136" src=pixel.gif width=10 height = 10> <a name="n136" class="safe" href="javascript: sn(136)">&<sub>136</sub></a>;
<img name="if24" src=pixel.gif width=10 height = 10> <a name="f24"></a>extern int fflush(<a href="javascript: sf(0, 'if22')">FILE_COMPAT</a>  <img name="in137" src=pixel.gif width=10 height = 10> <a name="n137" class="safe" href="javascript: sn(137)">*<sub>137</sub></a>__stream  ) <img name="in138" src=pixel.gif width=10 height = 10> <a name="n138" class="safe" href="javascript: sn(138)">&<sub>138</sub></a>;
<img name="if25" src=pixel.gif width=10 height = 10> <a name="f25"></a>extern <a href="javascript: sf(0, 'if22')">FILE_COMPAT</a>  <img name="in139" src=pixel.gif width=10 height = 10> <a name="n139" class="safe" href="javascript: sn(139)">*<sub>139</sub></a>fopen(char const    * __filename  ,
                          char const    * __modes  ) <img name="in142" src=pixel.gif width=10 height = 10> <a name="n142" class="safe" href="javascript: sn(142)">&<sub>142</sub></a>;
<img name="if26" src=pixel.gif width=10 height = 10> <a name="f26"></a>extern <a href="javascript: sf(0, 'if22')">FILE_COMPAT</a>  <img name="in143" src=pixel.gif width=10 height = 10> <a name="n143" class="safe" href="javascript: sn(143)">*<sub>143</sub></a>fdopen(int __fd  , char const    * __modes  ) <img name="in145" src=pixel.gif width=10 height = 10> <a name="n145" class="safe" href="javascript: sn(145)">&<sub>145</sub></a>;
<img name="if27" src=pixel.gif width=10 height = 10> <a name="f27"></a>extern int ( __CCUREDFORMAT(1) __CCUREDVARARG(struct printf_arguments )  printf)(char const    * __format  
                                                                                 , ...) ;
<img name="if28" src=pixel.gif width=10 height = 10> <a name="f28"></a>extern int fgetc(<a href="javascript: sf(0, 'if22')">FILE_COMPAT</a>  <img name="in148" src=pixel.gif width=10 height = 10> <a name="n148" class="safe" href="javascript: sn(148)">*<sub>148</sub></a>__stream  ) <img name="in149" src=pixel.gif width=10 height = 10> <a name="n149" class="safe" href="javascript: sn(149)">&<sub>149</sub></a>;
<img name="if29" src=pixel.gif width=10 height = 10> <a name="f29"></a>extern int fputc(int __c  ,
                 <a href="javascript: sf(0, 'if22')">FILE_COMPAT</a>  <img name="in150" src=pixel.gif width=10 height = 10> <a name="n150" class="safe" href="javascript: sn(150)">*<sub>150</sub></a>__stream  ) <img name="in151" src=pixel.gif width=10 height = 10> <a name="n151" class="safe" href="javascript: sn(151)">&<sub>151</sub></a>;
<img name="if30" src=pixel.gif width=10 height = 10> <a name="f30"></a>extern char  * fgets(char  * __s  , int __n  ,
                     <a href="javascript: sf(0, 'if22')">FILE_COMPAT</a>  <img name="in154" src=pixel.gif width=10 height = 10> <a name="n154" class="safe" href="javascript: sn(154)">*<sub>154</sub></a>__stream  ) <img name="in155" src=pixel.gif width=10 height = 10> <a name="n155" class="safe" href="javascript: sn(155)">&<sub>155</sub></a>;
<img name="if31" src=pixel.gif width=10 height = 10> <a name="f31"></a>extern int fputs(char const    * __s  ,
                 <a href="javascript: sf(0, 'if22')">FILE_COMPAT</a>  <img name="in157" src=pixel.gif width=10 height = 10> <a name="n157" class="safe" href="javascript: sn(157)">*<sub>157</sub></a>__stream  ) <img name="in158" src=pixel.gif width=10 height = 10> <a name="n158" class="safe" href="javascript: sn(158)">&<sub>158</sub></a>;
<img name="if32" src=pixel.gif width=10 height = 10> <a name="f32"></a>extern int puts(char const    * __s  ) ;
<img name="if33" src=pixel.gif width=10 height = 10> <a name="f33"></a>extern <a href="javascript: sf(0, 'if1')">size_t</a>  fread(void <img name="in161" src=pixel.gif width=10 height = 10> <a name="n161" class="safe" href="javascript: sn(161)">*<sub>161</sub></a>__ptr  , <a href="javascript: sf(0, 'if1')">size_t</a>  __size  ,
                    <a href="javascript: sf(0, 'if1')">size_t</a>  __n  ,
                    <a href="javascript: sf(0, 'if22')">FILE_COMPAT</a>  <img name="in162" src=pixel.gif width=10 height = 10> <a name="n162" class="safe" href="javascript: sn(162)">*<sub>162</sub></a>__stream  ) <img name="in163" src=pixel.gif width=10 height = 10> <a name="n163" class="safe" href="javascript: sn(163)">&<sub>163</sub></a>;
<img name="if34" src=pixel.gif width=10 height = 10> <a name="f34"></a>extern <a href="javascript: sf(0, 'if1')">size_t</a>  fwrite(void const   <img name="in164" src=pixel.gif width=10 height = 10> <a name="n164" class="safe" href="javascript: sn(164)">*<sub>164</sub></a>__ptr  ,
                     <a href="javascript: sf(0, 'if1')">size_t</a>  __size  , <a href="javascript: sf(0, 'if1')">size_t</a>  __n  ,
                     <a href="javascript: sf(0, 'if22')">FILE_COMPAT</a>  <img name="in165" src=pixel.gif width=10 height = 10> <a name="n165" class="safe" href="javascript: sn(165)">*<sub>165</sub></a>__s  ) <img name="in166" src=pixel.gif width=10 height = 10> <a name="n166" class="safe" href="javascript: sn(166)">&<sub>166</sub></a>;
<img name="if35" src=pixel.gif width=10 height = 10> <a name="f35"></a>extern int fseek(<a href="javascript: sf(0, 'if22')">FILE_COMPAT</a>  <img name="in167" src=pixel.gif width=10 height = 10> <a name="n167" class="safe" href="javascript: sn(167)">*<sub>167</sub></a>__stream  ,
                 long __off  , int __whence  ) <img name="in168" src=pixel.gif width=10 height = 10> <a name="n168" class="safe" href="javascript: sn(168)">&<sub>168</sub></a>;
<img name="if36" src=pixel.gif width=10 height = 10> <a name="f36"></a>extern void clearerr(<a href="javascript: sf(0, 'if22')">FILE_COMPAT</a>  <img name="in169" src=pixel.gif width=10 height = 10> <a name="n169" class="safe" href="javascript: sn(169)">*<sub>169</sub></a>__stream  ) <img name="in170" src=pixel.gif width=10 height = 10> <a name="n170" class="safe" href="javascript: sn(170)">&<sub>170</sub></a>;
<img name="if37" src=pixel.gif width=10 height = 10> <a name="f37"></a>extern int ferror(<a href="javascript: sf(0, 'if22')">FILE_COMPAT</a>  <img name="in171" src=pixel.gif width=10 height = 10> <a name="n171" class="safe" href="javascript: sn(171)">*<sub>171</sub></a>__stream  ) <img name="in172" src=pixel.gif width=10 height = 10> <a name="n172" class="safe" href="javascript: sn(172)">&<sub>172</sub></a>;
<img name="if38" src=pixel.gif width=10 height = 10> <a name="f38"></a>extern void perror(char const    * __s  ) ;
<img name="if39" src=pixel.gif width=10 height = 10> <a name="f39"></a>extern int fileno(<a href="javascript: sf(0, 'if22')">FILE_COMPAT</a>  <img name="in175" src=pixel.gif width=10 height = 10> <a name="n175" class="safe" href="javascript: sn(175)">*<sub>175</sub></a>__stream  ) <img name="in176" src=pixel.gif width=10 height = 10> <a name="n176" class="safe" href="javascript: sn(176)">&<sub>176</sub></a>;
<img name="if40" src=pixel.gif width=10 height = 10> <a name="f40"></a>extern void ccured_fscanf_string_len(<a href="javascript: sf(0, 'if5')">FILE</a>  <img name="in177" src=pixel.gif width=10 height = 10> <a name="n177" class="safe" href="javascript: sn(177)">*<sub>177</sub></a>  ,
                                     char  * format  , char  * buffer  ,
                                     long bufflen  ) <img name="in180" src=pixel.gif width=10 height = 10> <a name="n180" class="safe" href="javascript: sn(180)">&<sub>180</sub></a>;
//

//

//

//

//

//

//

//

//

//

//

//

//

//

//

//

//

//

//

<img name="if41" src=pixel.gif width=10 height = 10> <a name="f41"></a>extern void __ccured_va_start(<a href="javascript: sf(0, 'if11')">struct __ccured_va_list </a>  *   , unsigned long   ) ;
<img name="if42" src=pixel.gif width=10 height = 10> <a name="f42"></a>extern void __ccured_va_end(<a href="javascript: sf(0, 'if11')">struct __ccured_va_list </a>  *   ) ;
<img name="if43" src=pixel.gif width=10 height = 10> <a name="f43"></a>extern int __ccured_vsnprintf(char  * buffer  , int size  ,
                              char const    * format  ,
                              <a href="javascript: sf(0, 'if11')">struct __ccured_va_list </a>  * args  ) ;
//

//

//

//

//

<img name="if44" src=pixel.gif width=10 height = 10> <a name="f44"></a>int <img name="in189" src=pixel.gif width=10 height = 10> <a name="n189" class="wild" href="javascript: sn(189)">*<sub>189</sub></a>a[8<img name="in190" src=pixel.gif width=10 height = 10> <a name="n190" class="wild" href="javascript: sn(190)">]<sub>190</sub></a> <img name="in191" src=pixel.gif width=10 height = 10> <a name="n191" class="wild" href="javascript: sn(191)">&<sub>191</sub></a>;
<img name="if45" src=pixel.gif width=10 height = 10> <a name="f45"></a>extern int __ccured_va_count ;
<img name="if46" src=pixel.gif width=10 height = 10> <a name="f46"></a>extern int __ccured_va_tags[32] ;
void good_code(int  *  * x  ) ;
<img name="if47" src=pixel.gif width=10 height = 10> <a name="f47"></a>void good_code(int  *  * x  ) 
{ int <img name="in196" src=pixel.gif width=10 height = 10> <a name="n196" class="wild" href="javascript: sn(196)">*<sub>196</sub></a>pa <img name="in197" src=pixel.gif width=10 height = 10> <a name="n197" class="safe" href="javascript: sn(197)">&<sub>197</sub></a>;

  {
  pa<img name="if48" src=pixel.gif width=10 height = 10> <a name="f48"></a> = (int <img name="in198" src=pixel.gif width=10 height = 10> <a name="n198" class="wild" href="javascript: sn(198)">*<sub>198</sub></a>)(<a href="javascript: sf(0, 'if44')">a</a> );
  <a href="javascript: sf(0, 'if45')">__ccured_va_count</a>  = -1;
  <a href="javascript: sf(0, 'if27')">printf</a> ((char const    * )((char  * )"a has %d elements"),
         (int )(sizeof(<a href="javascript: sf(0, 'if44')">a</a> ) / sizeof(<a href="javascript: sf(0, 'if44')">a</a> <img name="if49" src=pixel.gif width=10 height = 10> <a name="f49"></a>[0])));
  return;
}
}
</pre>
<script language="javascript">
// Trampoline for sn
var sn = parent.sn;
var sf = parent.sf;
var sff = parent.sff;
if(parent.fileFinishedLoading == undefined) { alert('The code is not yet loaded (in source file)');}
</script></html>
